// 类型定义示例文件
